61. A computational logic
Author: Boyer, Robert S.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Automatic theorem proving
Classification :
QA
76
.
9
.
A96B68
62. A computational logic handbook
Author: BOYER,ROBERT S
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: AUTOMATIC THEOREM PROVING , LOGIC,SYMBOLIC & MATHEMATICAL
Classification :
QA
76
.
9
.
A96
B684
63. A computer based biomedical information system: I. Logic foundation and techniques
Author: Syner, James C
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Information storage and retrieval systems
Classification :
Z
699
.
5
.
M39
S9
64. A concise Introduction to Logic
Author: Hurley, Patrick J
Library: Library of Mofid University (Qom)
Subject:
Classification :
BC
108
.
H8
C6
2000
65. A concise Introduction to logic
Author: Ian Hacking
Library: Library of Faculty Literature of University of Tehran (Tehran)
Subject: Logic
66. A concise introduction to logic /
Author: Patrick J. Hurley, Lori Watson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Logic.
Classification :
BC108
.
H83
2017
67. A concise introduction to logic
Author: Hurley, Patrick J.,1942-
Library: Library of Farabi Campus of Tehran University (Qom)
Subject:
Classification :
BC
108
.
H83
2008
68. A concise introduction to logic /
Author: Patrick J. Hurley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Logic.,Logik
Classification :
BC108
.
H83
2008
69. A concise introduction to logic
Author:
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic
Classification :
160
H965C
2012
21
70. A concise introduction to logic
Author: / Patrick J. Hurley
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Logic
Classification :
BC108
.
H83
2003
71. A concise introduction to logic
Author: [By] Patrick J. Hurley
Library: Library of Faculty Literature of University of Tehran (Tehran)
Subject:
72. concise introduction to logic
Author: / Patrick J. Hurley
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic
Classification :
BC108
.
H83
1996
73. A concise introduction to logic
Author: / Patrick J. Hurley
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Logic
Classification :
BC108
.
H83
2000
74. A concise introduction to logic /
Author: Patrick J. Hurley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.
Classification :
BC108
.
H83
2006
75. A concise introduction to logic /
Author: Patrick J. Hurley, University of San Diego
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic
Classification :
BC108
.
H83
2015
76. A concise introduction to logic
Author: Hacking, Ian
Library: The library, the center of scientific documents and research institutes of the hawzeh and university (Qom)
Subject: ، Logic
Classification :
BC
108
.
J36
1972
77. A concise introduction to logic.
Author:
Library: Library of the Faculty of Theology and Islamic Sciences of Tehran University (Tehran)
Subject: Logic.
Classification :
BC108
.
H16
78. A concise introduction to logic
Author: Hurley, Patrick J. 2491-
Library: Library of Mofid University (Qom)
Subject:
Classification :
BC
108
.
H8
A36
1985
79. A concise introduction to logic
Author: Hurley, Patrick J. 2491-
Library: Library of Mofid University (Qom)
Subject:
Classification :
BC
108
.
H8
A36
2006
80. A concise introduction to logic
Author: Hurley, Patrick J
Library: Special Library of University of Religions (Qom)
Subject: ، Logic
Classification :
BC
108
.
H83
2008